L Bottaci: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficiency of mutation operators and selective mutation strategies: an empirical study

Elfurjani S. Mresa, Leonardo Bottaci

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 163 KB

english, 1999

2

[Lecture Notes in Computer Science] Testing – Practice and Research Techniques Volume 6303 || A Fault Injection Tool for Testing Web Services Composition

Bottaci, Leonardo, Fraser, Gordon

Year:

2010

Language:

english

File:

PDF, 355 KB

english, 2010

3

A fault dictionary based expert system for failure diagnosis in a multiple-PCB environment

T.S. Arslan, L. Bottaci, G.E. Taylor

Journal:

Engineering Applications of Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 842 KB

english, 1993

4

TAIC-PART 2008 – Testing: Academic & Industrial conference – Practice and research techniques, special section editorial

Leonardo Bottaci, Gregory M. Kapfhammer, Marc Roper

Journal:

Information and Software Technology

Year:

2010

Language:

english

File:

PDF, 121 KB

english, 2010

5

TAIC-PART 2009 – Testing: Academic & Industrial Conference – Practice And Research Techniques: Special Section Editorial

Leonardo Bottaci, Gregory M. Kapfhammer, Neil Walkinshaw

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

6

Search-based software test data generation for string data using program-specific search operators

Mohammad Alshraideh, Leonardo Bottaci

Journal:

Software Testing, Verification and Reliability

Year:

2006

Language:

english

File:

PDF, 276 KB

english, 2006

7

Using program data-state scarcity to guide automatic test data generation

Mohammad Alshraideh, Leonardo Bottaci, Basel A. Mahafzah

Journal:

Software Quality Journal

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

8

Modular production systems: a new manufacturing paradigm

G. G. ROGERS, L. BOTTACI

Journal:

Journal of Intelligent Manufacturing

Year:

1997

Language:

english

File:

PDF, 191 KB

english, 1997

9

Guest editor's introduction to the special section on TAIC-PART 2010 – Testing: Academic and Industrial Conference-Practice and Research Techniques

Anthony J H Simons, Gordon Fraser, Leonardo Bottaci

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 27 KB

english, 2012

10

Neural networks improve the prediction of survival in breast cancer

P.J. Drew, P. Magee, L Bottaci, M. Menon, K. Heer, P.J. Carleton, J.N. Fox, J.R.T. Monson, M.J. Kerin

Journal:

European Journal of Cancer

Year:

1998

Language:

english

File:

PDF, 152 KB

english, 1998

11

[Lecture Notes in Computer Science] Testing – Practice and Research Techniques Volume 6303 || Testing and Proving, Hand-in-Hand

Bottaci, Leonardo, Fraser, Gordon

Year:

2010

Language:

english

File:

PDF, 44 KB

english, 2010

12

Artificial neural networks

Philip Drew, Leonardo Bottaci, Graeme S Duthie, John RT Monson

Journal:

Year:

1997

Language:

english

File:

PDF, 56 KB

english, 1997

13

Artificial neural networks applied to outcome prediction for colorectal cancer patients in separate institutions

Leonardo Bottaci, Philip J Drew, John E Hartley, Matthew B Hadfield, Ridzuan Farouk, Peter WR Lee, Iain MC Macintyre, Graeme S Duthie, John RT Monson

Journal:

Year:

1997

Language:

english

File:

PDF, 68 KB

english, 1997

14

[IEEE Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) - Windsor, UK (29-31 Aug. 2006)] Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) - Using Program Data-State Diversity in Test Data Search

Alshraideh, M., Bottaci, L.

Year:

2006

Language:

english

File:

PDF, 223 KB

english, 2006

15

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Type Sensitive Application of Mutation Operators for Dynamically Typed Programs

Bottaci, Leonardo

Year:

2010

Language:

english

File:

PDF, 158 KB

english, 2010

16

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Language Constructs for Generalising Unit Tests: Research Proposal

Hashish, Nabil, Bottaci, Leonardo

Year:

2009

Language:

english

File:

PDF, 113 KB

english, 2009

17

Exploring expressivity and emotion with artificial voice and speech technologies

Pauletto, Sandra, Balentine, Bruce, Pidcock, Chris, Jones, Kevin, Bottaci, Leonardo, Aretoulaki, Maria, Wells, Jez, Mundy, Darren P., Balentine, James

Journal:

Logopedics Phoniatrics Vocology

Year:

2013

Language:

english

File:

PDF, 928 KB

english, 2013

18

A direct manipulation interface for a user enhanceable crowd simulator

Journal:

Journal of Intelligent Systems

Year:

1995

Language:

english

File:

PDF, 1.53 MB

english, 1995

19

[IEEE Comput. Soc. Press Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences - Wailea, HI, USA (1994.01.4-1994.01.7)] Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94 - User enhanceability for fast response to changing office needs

Mehandjiev,, Bottaci,, Phillips,

Year:

1994

Language:

english

File:

PDF, 958 KB

english, 1994

20

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Papadopoulos, Yiannis, Walker, Martin, Parker, David, Sharvia, Septavera, Bottaci, Leonardo, Kabir, Sohag, Azevedo, Luis, Sorokos, Ioannis

Journal:

Annual Reviews in Control

Year:

2016

Language:

english

File:

PDF, 1.46 MB

english, 2016

21

Multi-objective Architecture Optimisation Modelling for Dependable Systems

Mian, Zhibao, Bottaci, Leonardo

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 187 KB

english, 2013

22

[IEEE Industrial Conference - Practice and Research Techniques (TAIC PART) - Windsor, UK (2008.08.29-2008.08.31)] Testing: Academic & Industrial Conference - Practice and Research Techniques (taic part 2008) - Message from General Chair(s)

Roper, Marc, Kapfhammer, Gregory, Bottaci, Leonardo

Year:

2008

Language:

english

File:

PDF, 115 KB

english, 2008

23

Maintaining Safety Arguments via Automatic Allocation of Safety Requirements

Sorokos, Ioannis, Papadopoulos, Yiannis, Bottaci, Leonardo

Journal:

IFAC-PapersOnLine

Year:

2016

Language:

english

File:

PDF, 428 KB

english, 2016

24

System Dependability Modelling and Analysis Using AADL and HiP-HOPS

Mian, Zhibao, Bottaci, Leonardo, Papadopoulos, Yiannis, Biehl, Matthias

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 1.20 MB

english, 2012

25

[IEEE 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Guangzhou, China (2018.10.8-2018.10.12)] 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - A Dependability Modeling and Analysis Approach for an IoP-Based Service System

Mian, Zhibao, Bottaci, Leonardo, Jiang, Jiulei, He, Jun, Yu, Qiancheng, Wang, Xiaofeng

Year:

2018

Language:

english

File:

PDF, 292 KB

english, 2018

26

Model Transformation for analyzing Dependability of AADL model by using HiP-HOPS

Mian, Zhibao, Bottaci, Leonardo, Papadopoulos, Yiannis, Mahmud, Nidhal

Journal:

Journal of Systems and Software

Year:

2019

Language:

english

File:

PDF, 1.38 MB

english, 2019